/* You can add global styles to this file, and also import other style files */
@import url('https://unpkg.com/bootstrap@3.3.7/dist/css/bootstrap.min.css');
@import url('../node_modules/highlightjs/styles/vs.css');
html {
  margin: 0px;
  padding: 0px;
  height: 100%;
  overflow: hidden;
}

body {
  height: 100%;
  margin: 0px;
  padding: 0px;
}

.loadingImage {
  width: 128px;
  height: 128px;
  background: url(assets/flags/loading.gif);
  background-size: cover;
}

::-webkit-scrollbar-thumb {
  display: none;
}

div, button, textarea, pre {
  outline: 0;
}

div#content {
  position: absolute;
  left: 0px;
  top: 36px;
  bottom: 0px;
  -webkit-app-region: no-drag;
  background-color: #ffffff;
  margin: 0px;
  padding: 10px;
  overflow: auto;
  width: 100%;
  height: 100% -36px;
}

div#inner-content {
  margin: 0px;
  width: 100%;
  height: 100%;
}
div#root {
  width: 100%;
  height: 100%;
}

.top-titlebar {
  position: absolute;
  left: 0px;
  top: 0px;
  width: 100%;
  height: 36px;
  background-color: #7a7c7c;
  -webkit-user-select: none;
  -webkit-app-region: drag;
}

.bottom-titlebar {
  position: absolute;
  left: 0px;
  bottom: 0px;
  width: 100%;
  height: 32px;
  background-color: #7a7c7c;
  -webkit-user-select: none;
  -webkit-app-region: drag;
}

.left-titlebar {
  position: absolute;
  left: 0px;
  top: 0px;
  width: 32px;
  height: 100%;
  background-color: #7a7c7c;
  -webkit-user-select: none;
  -webkit-app-region: drag;
}

.right-titlebar {
  position: absolute;
  right: 0px;
  top: 0px;
  width: 32px;
  height: 100%;
  background-color: #7a7c7c;
  -webkit-user-select: none;
  -webkit-app-region: drag;
}

.top-titlebar-icon,
.bottom-titlebar-icon {
  position: absolute;
  left: 6px;
  margin-top: 6px;
  margin-bottom: 6px;
}

.left-titlebar-icon {
  position: absolute;
  bottom: 6px;
  margin-left: 6px;
  margin-right: 6px;
}

.right-titlebar-icon {
  position: absolute;
  top: 6px;
  margin-left: 6px;
  margin-right: 6px;
}

.top-titlebar-text,
.bottom-titlebar-text {
  position: absolute;
  left: 32px;
  width: 80%;
  margin-top: 6px;
  margin-bottom: 6px;
  font-family: Arial;
  font-size: 11pt;
  color: #ffffff;
}

.left-titlebar-text {
  position: absolute;
  bottom: 32px;
  width: 100px;
  margin-left: 6px;
  margin-right: 6px;
  font-family: Arial;
  font-size: 12pt;
  color: #ffffff;
  -webkit-transform: rotate(-90deg) translate(0, 100%);
  -webkit-transform-origin: 0% 100%;
}

.right-titlebar-text {
  position: absolute;
  top: 0px;
  width: 100px;
  margin-left: 6px;
  margin-right: 6px;
  font-family: Arial;
  font-size: 12pt;
  color: #ffffff;
  -webkit-transform: rotate(90deg) translate(0, 100%);
  -webkit-transform-origin: 0% 200%;
}

.top-titlebar-button {
  position: absolute;
  width: 30px;
  height: 24px;
  margin-top: 5px;
  text-align: center;
  -webkit-app-region: no-drag;
}

.top-titlebar-close-button {
  right: 10px;
}

.top-titlebar-minimum-button {
  right:70px;
}

.top-titlebar-maximum-button {
  right:40px;
}

.top-titlebar-restore-button {
  right:40px;
}

.top-titlebar-divider {
  position: absolute;
  left: 0px;
  top: 35px;
  width: 100%;
  height: 1px;
  background-color: #2a2c2c;
}

.bottom-titlebar-divider {
  position: absolute;
  left: 0px;
  bottom: 31px;
  width: 100%;
  height: 1px;
  background-color: #2a2c2c;
}

.left-titlebar-divider {
  position: absolute;
  left: 31px;
  top: 0px;
  width: 1px;
  height: 100%;
  background-color: #2a2c2c;
}

.right-titlebar-divider {
  position: absolute;
  right: 31px;
  top: 0px;
  width: 1px;
  height: 100%;
  background-color: #2a2c2c;
}
